/*
 * MinisatCover.h
 *
 *  Created on: 24 nov. 2011
 *  Authors: bnoleau, cybourdi, rlecrois
 */

#ifndef MINISATCOVER_H_
#define MINISATCOVER_H_

#include "Strategy.h"

#include "../builder/MinisatBuilder.h"

#include <string.h>
#include <fstream>

class MinisatCover: public Strategy {
public:
	MinisatCover();
	virtual ~MinisatCover();
	virtual list<int> vertexCover(Graph* g);
private:
	bool isSat(string s);
	list<int> getMinisatCover(string fileName);
};

#endif /* MINISATCOVER_H_ */
